退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:实际验证员的模型检查:
机译:FPGA的实用模型检查
机译:家用局域网系统的实用模型检查:案例研究
机译:家庭区网络系统的实用模型检查:案例研究
机译:模型检查实用验证列表用户的销售透视
机译:使用FormalCheck的实用模型检查方法。
机译:将实例检查转换为从属关系:对实际本体上对象查询的重新思考
机译:树可分解图的msO模型检验实用算法
机译:基于符号模型检验的大型模型可诊断性实用形式验证
机译:模型检查装置,模型检查方法以及模型检查程序
机译:模型检查程序,模型检查方法,模型检查设备
机译:LTL模型检查系统,LTL模型检查方法和LTL模型检查程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。